(redisplay_tool_bar): Change tool bar's height when
authorGerd Moellmann <gerd@gnu.org>
Wed, 17 Jan 2001 12:59:47 +0000 (12:59 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 17 Jan 2001 12:59:47 +0000 (12:59 +0000)
commitd76591c1cec355721e5897205b15722fae8ef24e
treefc2bdd8ce069b5af3de505b84270f35dc31e356a
parent20eeb0732726d96b90751bd8fb3f4347b66cb074
(redisplay_tool_bar): Change tool bar's height when
not everything could be displayed.
src/xdisp.c